101. Modality
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Modality (Linguistics),Grammar,Modality (Logic),وابسته دستوری,دستور زبان,منطق موجهات,Portner, Paul.
رده :
CD-B
,
P
,
299
,.
M6
,
P67
,
2009
![](/design/images/bookmore.png)
102. On the Syllogism
المؤلف: / by Augustus De Morgan
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and Mathematical,Syllogism,منطق ریاضی,قیاس
رده :
BC135
.
D4O5
1966
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
103. Paraconsistency
المؤلف: / Koji Tanaka
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Inconsistency (Logic) -- Congresses,Science -- Philosophy -- Congresses,تناقض(منطق) - کنگره ها,علم - فلسفه - کنگره ها
رده :
BC199
.
T32
2013
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
104. Paradoxes
المؤلف: / Roy T. Cook
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Paradox,Logic, Philosophy,پارادوکس,منطق ریاضی -- فلسفه
رده :
BC199
.
C6
,
P32
2013
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
105. Penser la Logique
المؤلف: \ Gilbert Hottois
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,Language and languages -- Philosophy,منطق,زبان -- فلسفه
رده :
BC72
.
H67
P4
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
106. Performance Measurement with Fuzzy Data Envelopment Analysis
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Data envelopment analysis,Fuzzy logic,Computational Intelligence,تحلیل پوششی دادهها,منطق فازی,هوش محاسباتی
رده :
E-Book
,
![](/design/images/bookmore.png)
107. Perspectives in Computational Complexity
المؤلف: \ Manindra Agrawal, Vikraman Arvind Editors
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
![](/design/images/bookmore.png)
108. Philosophical Logic
المؤلف: / George Englebretsen and Charles Sayward
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic - Textbooks,منطق - کتابهای درسی
رده :
BC71
.
E55
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
109. Popper, Karl
المؤلف:
المکتبة: (طهران)
موضوع: منطق,عقلگرایی,علوم اجتماعی, -- فلسفه,Logic,Rationalism,Social sciences - Philosophy
![](/design/images/bookmore.png)
110. Presumptive Meanings : The Theory of Generalized Conversational Implicature
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Semantics,Formal languages - Semantics,Implication (Logic),Pragmatics,Grammar, Comparative and general,معنی شناسی,زبان های صوری -- معنی شناسی,استلزام )منطق(,کاربردشناسی,دستور زبان تطبیقی,Levinson, Stephen C.
رده :
CD-B
,
P
,
325
,.
L4P7
,
2000
![](/design/images/bookmore.png)
111. Principles and Practice of Constraint Programming
المؤلف: \ Gilles Pesant (ed.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
رده :
QA
76
.
612
.
C7P7
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
112. Relational and Algebraic Methods in Computer Science
المؤلف: \ Wolfram Kahl , Michael Winter, José N. Oliveira (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Algebraic logic -- Congresses.,Relation algebras -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق جبری -- کنگره ها
رده :
QA
76
.
9
.
M35R4
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
113. Reversible Computation
المؤلف: \ Jean Krivine , Jean-Bernard Stefani (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Quantum computing,Reversible computing -- Congresses.,Computer logic -- Congresses.,منطق کامپیوتری -- کنگره ها
رده :
QA
76
.
889
.
R4
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
114. Special Topics in Mathematics for Computer Scientists
المؤلف: \ Ernst-Erich Doberkat
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
115. Study of the myth of Icarus in Onitsha by J. M.G Le Clezio and The House of Idrisi by Ghazaleh Alizadeh
المؤلف: /تروال، بهناز
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: zio, Ghazaleh Alizadeh, Myth of Icarus, Novel, Fiction, Dream, Escape, Journe yLe Cl,لوکلزیو، غزاله علیزاده، اسطوره ایکاروس، خیال، رویا، سفر، گریز
![](/design/images/bookmore.png)
116. Symbolic Logic
المؤلف: \ Irving M Copi
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical. ,منطق ریاضی
رده :
BC135
.
C58S9
2015
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
117. System Of Logic Ratiocinative And Inductive: Being A Connected View Of The Principles Of Evidence And The Methods Of Scientific Investigation
المؤلف: / By John Stuart Mill
المکتبة: (طهران)
موضوع: علوم,منطق,شناخت (فلسفه), -- روششناسی,Logic,Science -- Methodology.,Knowledge, Theory of.
رده :
BC
91
.
M5S9
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
118. System of logic
المؤلف: /by John Stuart Mill.,میل,Mill
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق,علوم,شناخت (فلسفه), -- روششناسی
رده :
BC
۹۱
/
م
۹
س
۹ ۱۲۶۳
![](/design/images/bookmore.png)
119. <The> Arché papers on the Mathematics of Abstraction
المؤلف: \ edited by Roy T. Cook.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
120. <The> Bloomsbury Companion to Philosophical Logic
المؤلف: \ edited by Leon Horsten and Richard Pettigrew
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,منطق, -- Study and teaching, -- راهنمای آموزشی,a03,a03
رده :
BC95
.
B4
2014
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)